Theorem GenContFract.zeroth_conv_eq_h

Modification history