mathlib
e5b48f9b - chore(model_theory/basic): golf `countable_empty` (#13836)

Commit

3 years ago

chore(model_theory/basic): golf `countable_empty` (#13836)

Author

vihdzp

vihdzp

Parents

Loading