Theorem GeneralizedContinuedFraction.IntFractPair.coe_of_rat_eq

Modification history