Theorem CategoryTheory.Triangulated.TStructure.isLE_of_le

Modification history

2026-01-30 15:11
Mathlib/CategoryTheory/Triangulated/TStructure/Basic.lean
chore: rename isLE_of_LE, isGE_of_GE (#34612) …
Added CategoryTheory.Triangulated.TStructure.isLE_of_leView on Github →