Theorem GenContFract.coe_toGenContFract

Modification history