Theorem cardinal_mk_eq_cardinal_mk_field_pow_rank

Modification history