Yes and no. C= made 3.1 Installdisks for the C= A4000T on 1.76 MB but the disks never had been sold.
I got a copy of the three disks from the Commodore Support Mailbox at that time.
For the A4000D and the A3000, even if they had factoryinstalled Chinon-HD-drives, the Installdisks were 6x 880KB DD-floppies.