Theorem CategoryTheory.Triangulated.TStructure.isGE_of_ge

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.isGE_of_geView on Github →