A recurrence-type strong Borel–Cantelli lemma for Axiom A diffeomorphisms | Synapse