mathlib
41f5c176 - chore(set_theory/ordinal_arithmetic): Make auxiliary result private (#12562)

Commit

3 years ago

chore(set_theory/ordinal_arithmetic): Make auxiliary result private (#12562)

Author

vihdzp

vihdzp

Parents

Loading