OAI/Combinatorics/RamseyFive/Geometry/GuardedNodeEncoder.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpRamseyFive.ProjectiveIncidence.guardedNodeEncoded line 13
2. lemma OAI.SharpRamseyFive.ProjectiveIncidence.guardedNode_encoder_law line 37
3. lemma OAI.SharpRamseyFive.ProjectiveIncidence.guardedNode_encode_none line 51