mathlib
059c8eb7 - chore(set_theory/game/basic): fix a single space (#13806)

Commit

3 years ago

chore(set_theory/game/basic): fix a single space (#13806)

Author

vihdzp

vihdzp

Parents

Loading