Theorem Cardinal.mk_eq_nat_iff_fintype

Modification history