-
Paolo G. Giarrusso authored
Turn all `f_op` lemmas to have shape `f (x ⋅ y) = f x ⋅ f y`, following the plan in !295 (comment 39151), plus `cmra_morphism_op`.
a51d5e1f
To find the state of this project's repository at the time of any of these versions, check out the tags.