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.

Estimated changes