P
Initializing...
The differential of a factored compact-core wall uses its logarithmic factor · Prove2Me