Theorem isSolvable_of_comm

Modification history