mathlib3

21158c43 - lint(data/pnat): Docstrings and an unused argument in `pnat.basic`, `pnat.factors` (#4443)

lint(data/pnat): Docstrings and an unused argument in `pnat.basic`, `pnat.factors` (#4443) Adds docstrings Changes `div_exact` from having one unused input of type `k | m` to `div_exact m k`. Co-authored-by: Aaron Anderson <65780815+awainverse@users.noreply.github.com>