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.