subgraph): add `subgraph.comap` and subgraph of subgraph coercion (#14877)

Commit

3 years ago

feat(combinatorics/simple_graph/subgraph): add `subgraph.comap` and subgraph of subgraph coercion (#14877)

Author

kmill

Parents