Theorem Mon_Class.comp_pow

Modification history