Theorem Fintype.card_uIcc

Modification history