Man pages matching name lazyset in section 3tcl:

lazyset.3tcl.en	debian 11 / tcllib
lazyset.3tcl.en	debian 12 / tcllib