Theorem $typeName.pow_def

Modification history