Commit 2025-08-04 17:27 8d2ff521
View on Github →chore: drop some gcongr attributes (#27876)
These attrs were introduced in #27718 but are no longer needed since #26907.
Also add @[gcongr] on map_dvd and use gcongr in some proofs.
chore: drop some gcongr attributes (#27876)
These attrs were introduced in #27718 but are no longer needed since #26907.
Also add @[gcongr] on map_dvd and use gcongr in some proofs.