Skip to content

feat: use IsApply for ContinuousMap - #45093

Open
EtienneC30 wants to merge 37 commits into
leanprover-community:masterfrom
EtienneC30:apply-continuous
Open

EtienneC30 wants to merge 37 commits into
leanprover-community:masterfrom
EtienneC30:apply-continuous

Merge branch 'master' of https://github.com/leanprover-community/math…

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