Theorem Function.maps_to_fixedPoints_comp

Modification history