DMCA

Complete lattices (1992)

by Grzegorz Bancerek
Venue:Journal of Formalized Mathematics
Citations:119 - 33 self