Theorem IsSymmOp.flip_eq

Modification history