Def FixedPoints.submonoid

Modification history