basic): three small `dvd_iff...` lemmas (#11669)

Commit

3 years ago

feat(data/nat/basic): three small `dvd_iff...` lemmas (#11669) Three biconditionals for proving `d ∣ n`

Author

stuart-presnell

Parents