Theorem OrderHom.mk_comp_mk

Modification history

2024-07-16 20:08
Mathlib/Order/Hom/Basic.lean
chore(Order): More simp lemmas (#13338) …
Added OrderHom.mk_comp_mkView on Github →