Commit 2025-03-15 05:22 3543cd86

feat(Combinatorics/SimpleGraph): define Copy (#20658) Define the type Copy as the subtype of injective homomorphisms. Also define

• the predicate that a simple graph contains another simple graph IsContained (equivalent to "is isomorphic to a subgraph of"),
• the predicate that a simple graph is free of another simple graph Free for convenience.