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
Open

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

wants to merge 2 commits into from

Commits on Jun 2, 2023

  1. feat(topology/algebra/infinite_sum): Lemmas for sums over

    @dtumad
    dtumad committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    0660a48 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2023

  1. lemmas in terms of has_sum

    @dtumad
    dtumad committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    c0afc9a View commit details
    Browse the repository at this point in the history