Commit 2023-10-12 10:52 67421829

View on Github →

feat: self_le_pow (#7101)

Estimated changes

added theorem self_le_pow