Seven Proofs for the Subadditivity of Expected Shortfall
Placenta defects and embryonic lethality resulting from disruption of mouse hydroxysteroid (17-beta) dehydrogenase 2 gene.