P
Initializing...
: SymmetricOn (maxDom (gsym kap cst)) (gaffH kap cst) · Prove2Me