Def CategoryTheory.opHomOfLE

Modification history

2023-05-26 17:27
Mathlib/CategoryTheory/Category/Preorder.lean
chore: tidy various files (#4304)
Added CategoryTheory.opHomOfLEView on Github →