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