if you mean: can one use Teensyduino SW to program any MK20DX256VLH7 that is not a T3.2, the answer is most likely: it depends
to use Teensyduino you need a board that comes with the PJRC provided bootloader chip.
there are some custom Teensies (i.e. Teensy compatible) boards around