Def WittVector.FractionRing.frobenius

Modification history