Theorem OrderEmbedding.infIrredUpperSet_apply

Modification history