Shaul, L. (2026). Formalization in Lean of faithfully flat descent of projectivity.
Style de citation Chicago (17e éd.)Shaul, Liran. Formalization in Lean of Faithfully Flat Descent of Projectivity. 2026.
Style de citation MLA (9e éd.)Shaul, Liran. Formalization in Lean of Faithfully Flat Descent of Projectivity. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.