Theorem isSeparable_tower_bot_of_isSeparable

Modification history