mathlib3
2fd0ff48 - chore(order/omega_complete_partial_order): clean up references (#7781)

Commit

4 years ago

chore(order/omega_complete_partial_order): clean up references (#7781) fix the references rendering by adding them to the .bib

Author

YaelDillies

Parents