mathlib3
3a8d9769 - fix(archive/100/82): remove nonterminal simps (#6299)

Commit

4 years ago

fix(archive/100/82): remove nonterminal simps (#6299)

Author

fpvandoorn

fpvandoorn

Parents

Loading