mathlib3

4db1f964 - chore(algebra/ne_zero): revert transitivity changes (#11760)

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.