Theorem Cardinal.one_eq_ofENat

Modification history