Theorem GeneralizedContinuedFraction.of_h_eq_floor

Modification history