Theorem StrictMono.embedding_of_ordConnected

Modification history