mathlib
de648fd5 - chore(set_theory/game/basic): spacing tweaks + fix docstring typo (#14580)

Commit

3 years ago

chore(set_theory/game/basic): spacing tweaks + fix docstring typo (#14580)

Author

vihdzp

vihdzp

Parents

Loading