Theorem IsIntegral.tower_bot

Modification history