Framed modules and their moduli

Tools