Theorem coe_algEquiv_lpBCF_symm

Modification history