Skip to content

chore(Dynamics): deprecate IsForwardInvariant in favour of new Set.IsInvariantOn#41940

Open
mcdoll wants to merge 3 commits into
leanprover-community:masterfrom
mcdoll:isInvariantOn
Open

chore(Dynamics): deprecate IsForwardInvariant in favour of new Set.IsInvariantOn#41940
mcdoll wants to merge 3 commits into
leanprover-community:masterfrom
mcdoll:isInvariantOn

Commits

Commits on Jul 16, 2026

Commits on Jul 20, 2026