Theorem CategoryTheory.ObjectProperty.tStructure_isLE_iff

Modification history

2026-03-03 17:12
Mathlib/CategoryTheory/Triangulated/TStructure/Induced.lean
feat(CategoryTheory/Triangulated/TStucture): induced t-structures (#35367) …
Added CategoryTheory.ObjectProperty.tStructure_isLE_iffView on Github →