TY - RPRT TI - The constructive content of a local-global principle with an application to the structure of a finitely generated projective module AU - Henri Lombardi PY - 2023 UR - https://arxiv.org/abs/2308.09371 ID - 2308.09371 ER -