Theorem GeneralizedContinuedFraction.coe_toGeneralizedContinuedFraction

Modification history