Def SimplexCategoryGenRel.IsAdmissible

Modification history

2025-10-17 12:35
Mathlib/AlgebraicTopology/SimplexCategory/GeneratorsRelations/NormalForms.lean
fix: Improve definition of `SimplexCategoryGenRel.IsAdmissible` (#30586) …
Deleted SimplexCategoryGenRel.IsAdmissibleView on Github →
2025-04-21 14:54
Mathlib/AlgebraicTopology/SimplexCategory/GeneratorsRelations/NormalForms.lean
feat(AlgebraicTopology/SimplexCategory/GeneratorsRelations/NormalForms): admissible lists and simplicial insertion (#21744) …
Added SimplexCategoryGenRel.IsAdmissibleView on Github →