Theorem Function.support_nat_cast

Modification history