Theorem Algebra.Extension.Cotangent.map_toInfinitesimal_bijective

Modification history