Theorem Finset.card_insertNthEquiv_filter_piFinset

Modification history