Theorem pow_dite

Modification history