Theorem compl_Inf
Modification history
2022-03-12 16:17
src/order/complete_boolean_algebra.lean
feat(order/upper_lower): Upper/lower sets (#12189) …
Modified compl_InfView on Github →2021-08-05 20:49
src/order/complete_boolean_algebra.lean
docs(order/complete_boolean_algebra): add module docstring, add whitespaces (#8525)
Modified compl_InfView on Github →