Skip to content

Merge branch 'leanprover-community:master' into MvP_equiv

19b6414
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

feat(MvPowerSeries): add some equivs and lemmas #37633

Merge branch 'leanprover-community:master' into MvP_equiv
19b6414
Select commit
Loading
Failed to load commit list.