Theorem Group.covariant_swap_iff_contravariant_swap

Modification history