Theorem coe_lpBCFₗᵢ_symm

Modification history