P
Initializing...
: SymmetricOn (diffMaxDom (velMu A (seqConst c))) (diffMaxH A c) · Prove2Me