Theorem GeneralizedContinuedFraction.Pair.coe_toPair

Modification history