Theorem GeneralizedContinuedFraction.denom_eq_conts_b

Modification history