Shearer trace inequality
ID: shearer-trace-inequality
If every ground element belongs to at least members of a family , thenApply Shearer's inequality to the characteristic vector of a uniformly random member of .
New to topics? Read the docs here!