Def Top.to_sSet

Modification history

2022-09-20 07:09
src/algebraic_topology/simplicial_set.lean
refactor(data/real/basic): make `⊓` and `⊔` computable on reals (#16463) …
Added Top.to_sSetView on Github →