In my search to get my 4000 running, I grabbed a stack of old CPU cards, mostly A3640s.
There was one A3200/A3400 card that had both a 68020 and a 68030 plus the jumpers to switch between them.
I've seen plenty with only the 030 on them, but never one with both so I thought someone else might be interested in seeing it.
John