mathlib3
a5807271 - chore(topology/omega_complete_partial_order): golf (#11250)

Commit

4 years ago

chore(topology/omega_complete_partial_order): golf (#11250)

Author

urkud

urkud

Parents

Loading