Theorem Function.Semiconj.mapsTo_fixedPoints

Modification history