Def FrobeniusNumber

Modification history