P
Initializing...
A family of effects is disjoint iff the dagger of its lift is an isometry · Prove2Me