Skip to content

fix inconsistent Lemma name: sub_add' → add_sub'

Ralf Jung requested to merge ralf/add_sub into master

Merge request reports