Theorem GeneralizedContinuedFraction.zero_le_of_denom

Modification history