P
Initializing...
A vanishing product on an irreducible family kills one spanning evaluation functional · Prove2Me