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 →