Skip to content

add later_ne; make later_proper match the other _proper lemmas

Ralf Jung requested to merge ralf/later_proper into master

Merge request reports