Theorem frobenius_apply_frobeniusEquiv_symm

Modification history