Theorem AddConstMap.conjNeg_symm

Modification history