Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

feat(topology/algebra/infinite_sum): Extract none from a sum over option types #19150

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

lemmas in terms of has_sum

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

feat(topology/algebra/infinite_sum): Extract none from a sum over option types #19150

lemmas in terms of has_sum
c0afc9a
Select commit
Loading
Failed to load commit list.

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