Theorem finite_or_infinite

Modification history