Theorem ValuationRing.coe_equivInteger_apply

Modification history