Def Monoid.ExponentExists

Modification history