mathlib3
7e644e54 - Remove a hypothesis from`digits_of_digits_prefix`

Commit

4 years ago

Remove a hypothesis from`digits_of_digits_prefix`

References

#7813 - feat(data/nat/digits): Add lemmas

Author

Pazzaz

Pazzaz

Parents

Loading