Theorem Nat.infₛ_def

Modification history