3 = a` (#11378)

Commit

4 years ago

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

Author

kex-y

Parents