mathlib3
148aefbd - docs(topology/dense_embedding): Improve explanation (#18134)

Commit

2 years ago

docs(topology/dense_embedding): Improve explanation (#18134) An attempt at improving understandability. Closes #1539

Author

YaelDillies

Parents