P
Initializing...
Theorem 1 and abstract capstone: strong subadditivity with exact equality condition · Prove2Me