Theorem Cardinal.mk_perm_eq_two_power

Modification history