Documentation

LeanPool.ErdosTuzaValtr.Config.Default

Imports

Init
LeanPool.ErdosTuzaValtr.Config.Defs
LeanPool.ErdosTuzaValtr.Config.Lemmas
LeanPool.ErdosTuzaValtr.Config.Mirror

Imported by

LeanPool.ErdosTuzaValtr.Config.Default #

Imported Lean Pool material for LeanPool.ErdosTuzaValtr.Config.Default.