Commit 2024-03-14 19:53 0c4d96e6

View on Github →

fix: add DecidableEq to two lemmas (#11376)

Estimated changes

modified theorem contDiff_single
modified theorem contDiff_update