feat(data/real/ennreal): add ennreal lemma for a / 3 + a / 3 + a / 3 = a (#11378)
a / 3 + a / 3 + a / 3 = a