Theorem GeneralizedContinuedFraction.terminatedAt_iff_part_denom_none

Modification history