mathlib3
8dd80093 - fix(combinatorics/composition): remove non-terminal simp (#16259)

Commit

3 years ago

fix(combinatorics/composition): remove non-terminal simp (#16259)

Author

gebner

gebner

Parents

Loading