Commit 2023-11-01 10:38 00cb9455

View on Github →

feat(LinearAlgebra/Basis): commuting with basis elements places an element in the center (#7833)

Estimated changes

added theorem Basis.mem_center_iff