Commit 2025-05-07 09:33 8ac52a50
View on Github →refactor: rename LinearAlgebra.FreeProductOfPowers
to LinearAlgebra.FreeProduct.asPowers
, add simp shortcut to lift lemmas (#24531)
- Change names of
FreeProductOfPowers
toFreeProduct.asPowers
andequivPowerAlgebra
toequivAsPowers
, in preparation for afeat
adding API for the power algebra formulation. - Add convenience "simp shortcut" attributes to some lift lemmas.