Theorem DividedPowers.dpow_eq_from_gens

Modification history