Log Shattering / Log Size
Name: Log Shattering / Log Size
Parameter 1: Log Shattering
Parameter 2: Log Size
Relationship Type: $P_1\ge P_2$
Variant:
Details:Pajor Lemma
Name: Log Shattering / Log Size
Parameter 1: Log Shattering
Parameter 2: Log Size
Relationship Type: $P_1\ge P_2$
Variant:
Details:Pajor Lemma