Theorem GeneralizedContinuedFraction.continuantsAux_eq_continuantsAux_squashGCF_of_le

Modification history