Theorem natCast_le_rank_iff_finset

Modification history