Inverse Limits of Many Sorted Algebras (1999)

by Adam Grabowski
Venue:Journal of Formalized Mathematics
Citations:3 - 3 self