AF+BG theorem

ID: af-plus-bg-theorem

New to topics? Read the docs here!