Skip to content

Update Mathlib/AlgebraicTopology/SimplexCategory/GeneratorsRelations/… #166910

Update Mathlib/AlgebraicTopology/SimplexCategory/GeneratorsRelations/…

Update Mathlib/AlgebraicTopology/SimplexCategory/GeneratorsRelations/… #166910

Lint style

succeeded Feb 17, 2025 in 1m 21s