identity for meet #7
Description
[Prop.prop_emp] should be identity from [Dom.prop_partial_meet] but it does not seem to be. Investigate.
{{ message }}
[Prop.prop_emp] should be identity from [Dom.prop_partial_meet] but it does not seem to be. Investigate.