Theorem Int.to_add_pow

Modification history