Theorem Ring.choose_nat_cast

Modification history