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.
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.