refactor(AlgebraicTopology): redefine the topological simplex using StdSimplex instead of stdSimplex
#217291
Triggered via issue
August 21, 2026 22:13
mathlib-merge-conflicts[bot]
Status
Success
Total duration
8s
Artifacts
–
labels_from_comment.yml
on: issue_comment
update-label
4s