Theorem GenContFract.zeroth_conv'_eq_h

Modification history