Theorem FixedPoints.toAlgAut_bijective

Modification history