Theorem DividedPowers.dpow_comp_from_gens

Modification history