pgame): Rename `le_def_lf` → `le_iff_forall_lf` (#14206)

Commit

3 years ago

refactor(set_theory/game/pgame): Rename `le_def_lf` → `le_iff_forall_lf` (#14206) One-sided variants of these have also been introduced.

Author

vihdzp

Parents