Commit 2023-04-18 03:36 7261a04c

View on Github →

feat: Int.odd_pow (#3402) analogous to Int.even_pow and Int.even_pow'

Estimated changes

added theorem Int.odd_pow'
added theorem Int.odd_pow