Commit 2022-02-02 12:30 4db1f964

chore(algebra/ne_zero): revert transitivity changes (#11760) The trans methods were a disaster for flt-regular - this reverts them unless a better solution can be found.