Theorem lattice.lfp_comp
Modification history
2020-03-19 15:12
src/order/fixed_points.lean
refactor(*): drop `lattice` namespace (#2166) …
Deleted lattice.lfp_compView on Github →2017-08-02 15:24
algebra/lattice/fixed_points.lean
refactor(*): switch from order_pair to partial_order
Modified lattice.lfp_compView on Github →