Theorem MonoidHom.map_sub_swap

Modification history