OAI/RepresentationTheory/FoulkesSixth/StripInterlace.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Foulkes.Strips.matching_of_det_ne_zero line 11
2. lemma OAI.Foulkes.Strips.containment_of_det_ne_zero line 25
3. lemma OAI.Foulkes.Strips.le_of_residue_eq_of_lt_add line 49
4. lemma OAI.Foulkes.Strips.shifted_containment_of_det_ne_zero line 57