mathlib
c251522d - feat(order/atoms): link `set` to `is_atom` API (#16665)

Commit

3 years ago

feat(order/atoms): link `set` to `is_atom` API (#16665)

Author

j-loreaux

j-loreaux

Parents

Loading