Shearer trace inequality

ID: shearer-trace-inequality

If every ground element belongs to at least members of a family , then
Apply Shearer's inequality to the characteristic vector of a uniformly random member of .

New to topics? Read the docs here!