Theorem ContinuousLinearMap.flipₗᵢ_symm

Modification history