Import abstract linear control systems and endpoint zero-class theorem - #616

Import abstract linear control systems and endpoint zero-class theorem#616

Vilin97 merged 2 commits into

mainLeanPool/lean-pool:mainfrom

codex/import-abstract-linear-control-20261008LeanPool/lean-pool:codex/import-abstract-linear-control-20261008Copy head branch name to clipboard