P
Initializing...
Corollary 3.7.2 (leaves are exactly the absent labels) · Prove2Me