Theorem Algebra.Extension.H1Cotangent.map_toInfinitesimal_bijective

Modification history