Theorem LocalRing.ResidueField.finite_of_finite

Modification history