Mathlib v3 is deprecated. Go to Mathlib v4

Def complete_lattice_hom.to_Sup_hom

Modification history

2022-03-22 14:24
src/order/hom/complete_lattice.lean
refactor(order/hom/complete_lattice): Fix the definition of `frame_hom` (#12855) …
Added complete_lattice_hom.to_Sup_homView on Github →