Theorem frobenius_zero

Modification history