Theorem isSolvable_of_top_eq_bot

Modification history