Theorem Fin.nonempty_embedding_iff

Modification history