⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Tiny improvements on the proof of the beta function lemma#159

Open
iblech wants to merge 2 commits intoOpenLogicProject:masterfrom
iblech:patch-1
Open

Tiny improvements on the proof of the beta function lemma#159
iblech wants to merge 2 commits intoOpenLogicProject:masterfrom
iblech:patch-1

Commits

Commits on Nov 10, 2017