Theorem Algebra.Generators.cotangentSpaceBasis_repr_one_tmul

Modification history