Commit 2023-05-07 09:18 2d2ad995

View on Github →

chore: forward port leanprover-community/mathlib#18866 (#3813)

Estimated changes

added theorem abs_pow_eq_one