Theorem GeneralizedContinuedFraction.exists_conts_a_of_num

Modification history