P
Initializing...
`range_ofCore` : Set.range ofCore = FinSupport · Prove2Me