Theorem fixedPoints_antitone

Modification history