Skip to content
CI

Create Godel.lean file for Beta Function Lemma. Removed from Arith. Could you please remove the import from Vorspeil? #19

Sign in to view logs

Create Godel.lean file for Beta Function Lemma. Removed from Arith. Could you please remove the import from Vorspeil?

Create Godel.lean file for Beta Function Lemma. Removed from Arith. Could you please remove the import from Vorspeil? #19

The logs for this run have expired and are no longer available.