P
Initializing...
`denseCore_dense` : Dense (Set.range ofCore) · Prove2Me