Skip to content

Rename `cmra_monotone_valid` into `cmra_morphism_valid`

Robbert Krebbers requested to merge robbert/cmra_morphism_valid into master

Rename cmra_monotone_valid into cmra_morphism_valid (this rename was forgotten in !56 (merged)).

Merge request reports