Skip to content

Update Mathlib/AlgebraicTopology/SimplicialSet/NonDegenerateSimplices…

84d41f7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat(AlgebraicTopology/SimplicialSet): induction principles for nondegenerate simplices #37335

Update Mathlib/AlgebraicTopology/SimplicialSet/NonDegenerateSimplices…
84d41f7
Select commit
Loading
Failed to load commit list.