Theorem SubmonoidClass.swap_mem_trans

Modification history