Theorem GeneralizedContinuedFraction.of_denom_mono

Modification history