Theorem coe_frobeniusEquiv

Modification history