Skip to content

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

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

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

Commits

Commits on Nov 10, 2017