Theorem frobenius_nat_cast

Modification history