Theorem Fintype.card_congr'

Modification history