Theorem SimpleGraph.Embedding.comap_apply

Modification history