Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-10-07 21:52 1bf831f2

View on Github →

refactor(topology/dense_embedding): move dense embeddings to new file (#1515)

Estimated changes