Theorem Cardinal.nat_eq_ofENat

Modification history