Theorem pow_multiplicity_dvd

Modification history