Theorem GeneralizedContinuedFraction.zeroth_denominator_eq_one

Modification history