Theorem Subring.coe_infₛ

Modification history