Theorem Acc.induction_bot

Modification history