Skip to content

rename the new dfrac_agree update lemmas for consistency

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).

Merge request reports