P
Initializing...
Theorem 2 (17): contractivity of Sb under global wirings · Prove2Me