History


WildCats

A package for category theory

Submitted August 22, 2017 category theory abstract algebra published


WildCats

A package for category theory

Submitted September 9, 2015 category theory superseded