`OAI/Analysis/HyperbolicCones/RawBlocks.lean`

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

structure OAI.Paper256.RawBlockPencil line 13
Source documentation
The finite blocks after splitting the support of the first positive pencil component.
```
structure RawBlockPencil (K : Set Ambient) where
…
```
Mentions: OAI.Paper256.Ambient