Theorem Function.IsFixedPt.prodMap

Modification history