Theorem LocalRing.finrank_quotient_map

Modification history