Theorem GenContFract.get?_of_eq_some_of_succ_get?_intFractPair_stream

Modification history