Theorem IsLocalRing.subsingleton_cotangentSpace_iff

Modification history