metric space instance - SemanticDiff

Commit

3 years ago

metric space instance

References

#18692 - feat(combinatorics.simple_graph.metric): `enat` valued dist function on graphs

Author

bottine

bottine

Parents

Loading