Theorem Cardinal.mk_perm_eq_self_power

Modification history