Theorem Mon_Class.pow_comp

Modification history