Theorem Algebra.Generators.cotangentSpaceBasis_repr_tmul

Modification history