Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
dense_range.induction_on
Modification history
2019-11-17 19:31
src/topology/dense_embedding.lean
fix(topology/dense_embeddings): tweaks (#1684) …
Added
dense_range.induction_on
View on Github →