Skip to content

[Merged by Bors] - feat(Algebra/Lie): use IsApply for Weight - #42129

Closed
mcdoll wants to merge 3 commits into
leanprover-community:masterfrom
mcdoll:IsApplyLie
Closed

[Merged by Bors] - feat(Algebra/Lie): use IsApply for Weight#42129
mcdoll wants to merge 3 commits into
leanprover-community:masterfrom
mcdoll:IsApplyLie

fix

34c11e4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 27, 2026 in 1m 13s