Euclidean-square bookkeeping for triples: euclideanSq, frobeniusSq, applyTriple, totalTriple

Initializing...

Euclidean-square bookkeeping for triples: euclideanSq, frobeniusSq, applyTriple, totalTriple · Prove2Me