Theorem GeneralizedContinuedFraction.exists_conts_b_of_denom

Modification history