Def omega_complete_partial_order.chain.map
Modification history
2021-06-17 17:10
src/order/omega_complete_partial_order.lean
refactor(order/preorder_hom): golf and simp lemmas (#7429) …
Modified omega_complete_partial_order.chain.mapView on Github →