Theorem Function.Semiconj.maps_to_fixedPoints

Modification history