Theorem Cardinal.zero_eq_ofENat

Modification history