Theorem Cardinal.card_surjective

Modification history