refactor(data/list/forall2): consistent names of relations (#16098)
refactor(data/list/forall2): consistent names of relations (#16098)




Co-authored-by: madvorak <0543540a396ab2ecb2cc41c65788c04d9eb99540@seznam.cz>

leanprover-community/mathlib,leanprover-community/mathlib