Generally the install disk holds enough information to boot into the system , set up the hard drive and then install the software. Libraries as such are there to assist in the process. Never forgetting that the 'actual' Workbench disk is the disk that is copied during the install process to Workbench and so the 'workbench.library' on the Workbench disk for the A4000T is the library file that is copied to the installed system, not the one from the install disk. Though there is no reason you can't just copy the file from disk. workbench.library 71456 in Libs.
The very same file is available for download from the Amiga Forever site for systems that do not have the workbench.library in ROM
The ROM on the 4000T contains the drivers for the SCSI-II controller actually in ROM and in order to allow it to fit, workbench.library was moved from ROM to Workbench/Libs. Meaning that it is otherwise in ROM on 3.1 systems. That's my understandingof it.