`OAI/RepresentationTheory/RestrictedTilting/LatticeSwap.lean`

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

lemma OAI.FiberFunctorProof.lattice_swap_mem line 10
def OAI.FiberFunctorProof.latticeSwap line 21