Theorem frobenius_def

Modification history