Representation Theorem for Stacks
Grzegorz Bancerek (2011)
Formalized Mathematics
Similarity:
In the paper the concept of stacks is formalized. As the main result the Theorem of Representation for Stacks is given. Formalization is done according to [13].