Commit 2025-08-25 18:13 ce5fb4ce

View on Github →

chore: add simp attribute to abs_mul (#28176) See Zulip.

Estimated changes

modified theorem abs_mul_self