mathlib
ca2450fe - feat(order/atoms): finite orders are (co)atomic (#11930)

Commit

3 years ago

feat(order/atoms): finite orders are (co)atomic (#11930)

Author

nomeata

nomeata

Parents

Loading