Theorem inf_infᵢ_nat_succ

Modification history