Lemma 13 discharges the hypotheses of KFN.prop14_il_complex_closed (m = 100^3): the row hypothesis with Ψ…

Initializing...

Lemma 13 discharges the hypotheses of KFN.prop14_il_complex_closed (m = 100^3): the row hypothesis with Ψ… · Prove2Me