Commit 2025-08-26 23:57 da5290c5

View on Github →

chore: golf using grw (#26981) This PR cleans up some proofs using grw. It also tags a few lemmas with @[gcongr] that were required for the proofs.

Estimated changes