Skip to content

[Merged by Bors] - chore(Topology/FiberBundle/Trivialisation): more simp lemmas#35978

Closed
grunweg wants to merge 3 commits into
leanprover-community:masterfrom
grunweg:moresimp
Closed

[Merged by Bors] - chore(Topology/FiberBundle/Trivialisation): more simp lemmas#35978
grunweg wants to merge 3 commits into
leanprover-community:masterfrom
grunweg:moresimp

chore: general golfs using these lemmas

a2d3ce4
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.