When we say Bond prices are martingale under T-Forward measure, do we mean their Clean Price is a martingale or is it their dirty price.
I guess it should be dirty price, as clean price is just a convenient representation while dirty price is the actual price of the bond. But it will be great if somebody could please validate/invalidate my thoughts.