Theorem Fin.card_fintypeIoo

Modification history