Login / Signup
On strengthenings of the intersecting shadow theorem.
Peter Frankl
Gyula O. H. Katona
Published in:
J. Comb. Theory, Ser. A (2021)
Keyphrases
</>
light source
von neumann
real time
high altitude
interactive theorem proving