Theorem Cardinal.toENat_eq_zero

Modification history