Theorem GenContFract.IntFractPair.coe_stream'_rat_eq

Modification history