Theorem CategoryTheory.ObjectProperty.mem_of_hasInductedTStructure

Modification history

2026-10-13 21:09
Mathlib/CategoryTheory/Triangulated/TStructure/Induced.lean
chore: fix misspellings in declaration names (#44823) …
Deleted CategoryTheory.ObjectProperty.mem_of_hasInductedTStructureView on Github →
2026-03-03 17:12
Mathlib/CategoryTheory/Triangulated/TStructure/Induced.lean
feat(CategoryTheory/Triangulated/TStucture): induced t-structures (#35367) …
Added CategoryTheory.ObjectProperty.mem_of_hasInductedTStructureView on Github →