Theorem MulAction.quotient_preimage_image_eq_union_mul

Modification history