mathlib3

11bfd9c9 - chore(logic/equiv/basic): remove `nolint` (#15329)