Commit 2022-05-19 01:41 83285b24
View on Github →refactor(set_theory/game/pgame): Rename le_def_lf
→ le_iff_forall_lf
(#14206)
One-sided variants of these have also been introduced.
refactor(set_theory/game/pgame): Rename le_def_lf
→ le_iff_forall_lf
(#14206)
One-sided variants of these have also been introduced.