1 problem

Transfer-principle conservation conjecture. Under these hypotheses, the displayed internal consequence follows. The claim is introduced as a consequence that would establish the pr…