mathlib

4a4d740d - feat(logic/lemmas): Aliases for `=`-`≠` transitivity lemmas (#16959)