Commit 2026-02-27 17:29 f8dd6107

View on Github →

chore: rename nat_abs_sum_le (#35309)

Estimated changes

added theorem Int.natAbs_sum_le
deleted theorem nat_abs_sum_le