mathlib

b006227b - feat(logic/indexed_eq): Indexed equality