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

fix: use pi_congr instead of forall_congr; deprecate the latter (#7577)

ac0e1b2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar