mathlib

365b2ee5 - feat(data/bool): bnot_ne (#10562)

feat(data/bool): bnot_ne (#10562) Co-authored-by: Eric Wieser <wieser.eric@gmail.com> Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>