Structure CategoryTheory.SimplicialThickening

Modification history

2026-01-22 20:26

Mathlib/AlgebraicTopology/SimplicialNerve.lean

fix(AlgebraicTopology/SimplicialNerve): make `SimplicialThickening` a one field structure (#33866) …

Added CategoryTheory.SimplicialThickening View on Github →