basic): rename induced embedding on complete graphs (#14404)

Commit

3 years ago

refactor(combinatorics/simple_graph/basic): rename induced embedding on complete graphs (#14404)

Author

kmill

Parents