Theorem Module.IsLocalRing.linearIndependent_of_flat

Modification history