Skip to content

feat: the interior of the domain of the conjugate is where tilts grow linearly - #321

Merged
lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
prevostad:roadmap/conjugate-interior-coercive-worker1
Nov 13, 2026
Merged

lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
prevostad:roadmap/conjugate-interior-coercive-worker1

doc: say the converse is proved in finite dimension, not that it need…

329725d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view