Theorem GeneralizedContinuedFraction.IntFractPair.coe_to_intFractPair

Modification history