Loading paper
The Thompson-Lyons transfer lemma for fusion systems | Tomesphere