Commit 2025-03-08 07:07 2186c5fb
View on Github →feat: add some simp
lemmas for FGModuleCat
and FDRep
(#22668)
Add some simp
lemmas to deal with FGModuleCat
and FDRep
.
feat: add some simp
lemmas for FGModuleCat
and FDRep
(#22668)
Add some simp
lemmas to deal with FGModuleCat
and FDRep
.