Theorem OrderEmbedding.birkhoffFinset_sup

Modification history