Theorem OrderEmbedding.birkhoffFinset_inf

Modification history