Theorem Function.Commute.left_bijOn_fixedPoints_comp

Modification history