Theorem OrderEmbedding.infIrredUpperSet_surjective

Modification history