Theorem isSolvable_def

Modification history