Commit 2025-10-16 01:38 ca47b811

View on Github →

chore: rename pow_eq_zero to eq_zero_of_pow_eq_zero (#30443) For consistency with eq_zero_of_zpow_eq_zero.

Estimated changes

added theorem eq_zero_of_pow_eq_zero
deleted theorem pow_eq_zero
modified theorem pow_ne_zero