Theorem Function.IsFixedPt.image_iterate

Modification history