Theorem Acc.induction_bot'

Modification history