Commit 2024-09-04 10:38 836a0227

View on Github →

chore: remove @[simp] from PSigma.forall (#16469) Per zulip.

Estimated changes