Theorem Finset.card_attachFin

Modification history