Theorem coe_algEquiv_lpBCF

Modification history