Commit 2022-03-16 23:51 4d350b97
View on Github →chore(*): move code, golf (#12753)
- move
pow_posandpow_nonnegtoalgebra.order.ring; - use the former to golf
has_pos pnat nat; - fix formatting.
chore(*): move code, golf (#12753)
pow_pos and pow_nonneg to algebra.order.ring;has_pos pnat nat;