Theorem inf_iInf_nat_succ

Modification history