mathlib
7200c507 - feat(order/rel_iso): relation embeddings for `sum.lex` and `prod.lex` (#15355)

Commit

3 years ago

feat(order/rel_iso): relation embeddings for `sum.lex` and `prod.lex` (#15355)

Author

vihdzp

vihdzp

Parents

Loading