Skip to content
GitLab

rename the new dfrac_agree update lemmas for consistency

Merged Ralf Jung requested to merge ralf/dfrac_agree into master

All the other lemmas are called (d)?frac_agree_, so we should probably follow the same scheme for the update lemmas there were just added in !766 (merged).