Loading paper
Rigidification of algebras over essentially algebraic theories | Tomesphere