Theorem GeneralizedContinuedFraction.IntFractPair.seq1_fst_eq_of

Modification history