Theorem withBotSucc_zero

Modification history