Theorem not_surjective_of_ordinal

Modification history