Theorem coe_equiv_lpPiLp

Modification history