P
Initializing...
prop:block and [eq:Ncount] packaged as block inputs at height $T$ · Prove2Me