Get rid of `later_proper'`
See the discussion in !81 (merged).
We do not have such lemmas for the other connectives, and the naming scheme is inconsistent with the _mono
lemmas.
See the discussion in !81 (merged).
We do not have such lemmas for the other connectives, and the naming scheme is inconsistent with the _mono
lemmas.