conductor sizing

My electrician did provide documentation quoting that code however from a wire manufacturer. It may be very true and very common, that the lugs on a panel are marked “AL9CU”, and one might think that…