Theorem isIntegral_tower_bot_of_isIntegral

Modification history