Theorem Int.toAdd_pow

Modification history