MGI:5648483 miR<flox> miR-143/145<flox> targeted insertion 1.1, Joshua T Mendell Conditional ready|No functional change Mirc32<tm1.1Jtm> http://identifiers.org/mgd/MGI:5648483