Theorem ContractingWith.isFixedPt_fixedPoint_iterate

Modification history