Theorem GeneralizedContinuedFraction.zeroth_continuant_eq_h_one

Modification history