Product of family of universal algebras (1993)

by Beata Madras
Venue:Formalized Mathematics