mathlib
af4f4df5 - feat(list/init): simplifier lemmas for list.init (#10061)

Commit

4 years ago

feat(list/init): simplifier lemmas for list.init (#10061)

Author

EPronovost

EPronovost

Parents

Loading