cast): dvd cast lemmas (#4086)

Commit

5 years ago

feat(data/{int,nat}/cast): dvd cast lemmas (#4086) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

References

Author

robertylewis

Parents