Skip to content

[Merged by Bors] - chore: rename pow_eq_zero to eq_zero_of_pow_eq_zero#30443

Closed
Ruben-VandeVelde wants to merge 6 commits intoleanprover-community:masterfrom
Ruben-VandeVelde:eq_zero_of_zpow_eq_zero
Closed

[Merged by Bors] - chore: rename pow_eq_zero to eq_zero_of_pow_eq_zero#30443
Ruben-VandeVelde wants to merge 6 commits intoleanprover-community:masterfrom
Ruben-VandeVelde:eq_zero_of_zpow_eq_zero

Commits

Commits on Oct 11, 2025

Commits on Oct 14, 2025

Commits on Oct 15, 2025