Upgrade lemma-equivalence-categories-schemes-over-pushout-flat Tag 07RX
Work out suggestion of 476921ca79ca0c053a65ff9bb15e5c072da0dc7d