Loading paper
Stably reflexive modules and a lemma of Knudsen | Tomesphere