Skip to content
continuous integration (mathlib forks)

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

Sign in to view logs

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

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

ci (fork)  /  Test and lint

ci (fork) / Test and lint
succeeded Jul 20, 2026 in 6m 40s