Theorem Finset.exists_equiv_extend_of_card_eq

Modification history