Skip to content

fix: use pi_congr instead of forall_congr, deprecate the latter - #14516

Open
sgraf812 wants to merge 1 commit into
nightly-with-mathlibfrom
sg/7507-reapply
Open

fix: use pi_congr instead of forall_congr, deprecate the latter#14516
sgraf812 wants to merge 1 commit into
nightly-with-mathlibfrom
sg/7507-reapply

Commits

Commits on Jul 23, 2026