Theorem complete_lattice.inf_continuous
Modification history
2022-05-03 12:18
src/order/omega_complete_partial_order.lean
chore(order/*): Replace total partial orders by linear orders (#13839) …
Modified complete_lattice.inf_continuousView on Github →