Theorem PerfectClosure.nat_cast_eq_iff

Modification history