OAI.KaplanskyConsequences.Regular.tensor_two_isometries_of_small_tuple (OpenAI intermediate lemma)

Initializing...

OAI.KaplanskyConsequences.Regular.tensor_two_isometries_of_small_tuple (OpenAI intermediate lemma) · Prove2Me