Documentation

LeanPool.SelbergSieve4.Tactic.AesopInit

Imports

Aesop
Init

Imported by

LeanPool.SelbergSieve4.Tactic.AesopInit #

Imported Lean Pool material for LeanPool.SelbergSieve4.Tactic.AesopInit.