Theorem Cardinal.toENat_eq_nat

Modification history