Commit 2025-02-04 08:33 644048a6

View on Github →

feat(Data/LinearIndependent): iff versions of smul action on independent sets (#21383) We add iff versions of LinearIndependent.group_smul and LinearIndependent.units_smul, which can be simp.

Estimated changes