new
GammaAlive (context) > ∴ theta_bar < boolean (abstract)

∴ theta_bar

Explanation of theta_bar


lib/example/alpha_alive/gamma_alive.ex
[theta_bar: boolean]

[theta_bar: boolean]


test/example/alpha_alive/gamma_alive_test.exs
[theta_bar: boolean]

[theta_bar: boolean]