Theorem MulAction.disjoint_image_image_iff

Modification history