Theorem Cardinal.ofENat_eq_lift

Modification history