`BookProof.NavierStokesFlow.AffineFiber.PairShift.pairH_symmetricOn` : SymmetricOn (maxDom P.sym) (pairH P)

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.PairShift.pairH_symmetricOn` : SymmetricOn (maxDom P.sym) (pairH P) · Prove2Me