The bit environment: atoms ≤ A, degree-≤ 8 values fit in B bits. -/ structure CostEnv (A B : ℕ) : Prop…

Initializing...

The bit environment: atoms ≤ A, degree-≤ 8 values fit in B bits. -/ structure CostEnv (A B : ℕ) : Prop… · Prove2Me