Theorem solvable_of_solvable_injective

Modification history