P
Initializing...
Theorem 3 (18): non-contractivity of Sb under WPICC; original paper seed · Prove2Me