mathlib3
e1b3351d - feat(set_theory/game/pgame): Add dot notation on many lemmas (#14149)

Commit

3 years ago

feat(set_theory/game/pgame): Add dot notation on many lemmas (#14149)

Author

vihdzp

vihdzp

Parents

Loading