Theorem Fin.card_fintypeIoc

Modification history