Theorem LocalRing.finrank_cotangentSpace_eq_zero

Modification history