Def frobeniusEquiv

Modification history