Commit 2023-03-24 20:38 046951e9

View on Github →

chore: forward-port #18591 (#3078)

Estimated changes

deleted theorem pow_minus_two_nonneg
added theorem zpow_neg_two_nonneg