Mice with uterine deletion of Gpx4 by a progesterone receptor (Pgr)‐Cre driver (Gpx4f/fPgrCre) show embryo implantation failure resulting in complete infertility, despite normal uterine morphology and structure. The gene discussed is PGR; the disease is Infertility.