Theorem coe_ringEquiv_lpBcf

Modification history