Theorem finite_of_emultiplicity_eq_natCast

Modification history