mathlib
e1d7cc70 - chore(set_theory/game/*): create `pgame` and `natural_ops` locales (#14856)

Commit

3 years ago

chore(set_theory/game/*): create `pgame` and `natural_ops` locales (#14856)

Author

vihdzp

vihdzp

Parents

Loading