Commit 2024-09-12 03:40 d813c097

chore: deprecate all but IsSymmOp in Init.Algebra.Classes (#16698)

• Remove commented-out code and the deprecations from February.
• Deprecate IsLeftCancel and IsRightCancel as they are only used for two instances, both in Logic.Equiv.
• Update and clean up the module header to reflect all this. Only IsSymmOp is left undeprecated now.