mathlib3
7c6678ad - doc(topology/dense_embedding): fix markdown (#12180)

Commit

4 years ago

doc(topology/dense_embedding): fix markdown (#12180) Right now it just renders as "γ -f→ α g↓ ↓e δ -h→ β"

Author

eric-wieser

Parents