Theorem OrderHom.isFixedPt_gfp

Modification history