OAI/Combinatorics/MatrixRemoval/
644 declarations, 0 contain sorry, 0 declared as axioms; 61 files
Files
- AnchorFrames.lean 28 declarations
- AnchorGroups.lean 9 declarations
- AnchorPatternBridge.lean 10 declarations
- AnchorPatternFixed.lean 4 declarations
- AnchorProperties.lean 15 declarations
- AnchorRigidity.lean 5 declarations
- AnchorRigidityFixed.lean 8 declarations
- Asymptotics.lean 1 declarations
- BodyExtension.lean 8 declarations
- BodyRoles.lean 11 declarations
- CanonicalCopyBound.lean 4 declarations
- CanonicalHorizontal.lean 2 declarations
- CanonicalModeEntries.lean 7 declarations
- Consequence.lean 1 declarations
- CopyBound.lean 2 declarations
- CopyBoundFixed.lean 5 declarations
- DirectNonshattering.lean 10 declarations
- GuardContainment.lean 11 declarations
- GuardedFrame.lean 5 declarations
- GuardedPath.lean 11 declarations
- Host.lean 30 declarations
- HostAnchorFrames.lean 8 declarations
- HostAnchorGroups.lean 3 declarations
- HostAnchorPinning.lean 11 declarations
- HostAnchorRigidity.lean 21 declarations
- HostBodyModes.lean 6 declarations
- HostBodyOrder.lean 6 declarations
- HostCopyBound.lean 6 declarations
- HostModeIncidence.lean 13 declarations
- HostNonshattering.lean 15 declarations
- HostRepairDistance.lean 4 declarations
- HostRoleExtraction.lean 7 declarations
- HostRootLeaf.lean 17 declarations
- HostSampledPath.lean 27 declarations
- HostSampledSelection.lean 14 declarations
- HostSampling.lean 17 declarations
- HostSamplingCompatibility.lean 14 declarations
- HostTreeOrder.lean 7 declarations
- HostTwins.lean 10 declarations
- HostVerticalLocalization.lean 9 declarations
- Main.lean 2 declarations
- ModeIncidence.lean 22 declarations
- ModeLocalization.lean 8 declarations
- Model.lean 11 declarations
- OrderedAnchorGroups.lean 4 declarations
- OrderedAnchorRigidity.lean 9 declarations
- OrderedBodyLocalization.lean 4 declarations
- OrderedHost.lean 21 declarations
- OrderedHostCopy.lean 4 declarations
- OrderedRepairDistance.lean 2 declarations
- OrderedSampledSelection.lean 3 declarations
- PathPropagation.lean 8 declarations
- PinnedHostCopy.lean 7 declarations
- SampledPath.lean 31 declarations
- SampledPathOrder.lean 11 declarations
- SamplingAvoidance.lean 7 declarations
- SamplingDistance.lean 3 declarations
- SelectedAnchorSparsity.lean 15 declarations
- SequenceAssembly.lean 5 declarations
- ThreeSeedSampling.lean 27 declarations
- TreePositions.lean 38 declarations