OAI.DimensionTen.exists_swap_of_mod131: intermediate lemma from OpenAI, Entanglement without distillable secret key in local dimension ten (result family 272)

Initializing...

OAI.DimensionTen.exists_swap_of_mod131: intermediate lemma from OpenAI, Entanglement without distillable secret key in local dimension ten (result family 272) · Prove2Me