Theorem Subgroup.zpowers_one_eq_bot

Modification history