Theorem Nat.infₛ_add

Modification history