Theorem Algebra.Extension.CotangentSpace.map_toInfinitesimal_bijective

Modification history