Theorem Fintype.ofEquiv_card

Modification history