Theorem not_infinite_iff_finite

Modification history