Skip to content

[Merged by Bors] - feat(Algebra/IsScalarTower): add transitivity results #27866

Closed
xroblot wants to merge 7 commits into
leanprover-community:masterfrom
xroblot:isscalartower_trans
Closed

[Merged by Bors] - feat(Algebra/IsScalarTower): add transitivity results #27866
xroblot wants to merge 7 commits into
leanprover-community:masterfrom
xroblot:isscalartower_trans

Merge remote-tracking branch 'upstream/master' into isscalartower_trans

e5274b1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.