mathlib
8cd3cb4d - Replaced sorry with proofs and added evals_to.refl and .trans

Commit

5 years ago

Replaced sorry with proofs and added evals_to.refl and .trans

Author

pimsp

pimsp

Parents

Loading