Theorem covariant_flip_mul_iff

Modification history