mathlib3
805a50ae - feat(data/int): absolute values and integers

Commit

4 years ago

feat(data/int): absolute values and integers We prove that an absolute value maps all `units ℤ` to `1`.

Author

Vierkantor

Committer

Vierkantor

Parents