This abstract shows that exposing one serving (84 g) of post-harvest, white button mushrooms to UVB rays for 5 minutes resulted in their having 86.9 µg (3,476 IU) vitamin D2, which is well above the recommended daily intake.
So if you see mushrooms in the store labeled as having 100% of the Daily Value or RDA for vitamin D, it’s probably true.