Cartan引理的推广

本文将现代微分几何中著名的Cartan引理，推广到二次外形式空间∧^(V^(*)，得出两个定理。