Theorem compact_std_simplex
Modification history
2022-11-09 09:39
src/analysis/convex/topology.lean
chore(topology/*): rename compact_univ to is_compact_univ, and many more (#17436) …
Deleted compact_std_simplexView on Github →2021-09-30 20:25
src/analysis/convex/topology.lean
chore(analysis/convex/basic): instance cleanup (#9466) …
Modified compact_std_simplexView on Github →2021-09-22 12:11
src/analysis/convex/topology.lean
chore(analysis/convex): trivial generalizations of ℝ (#9298)
Modified compact_std_simplexView on Github →