Shaul, L. (2026). Formalization in Lean of faithfully flat descent of projectivity.
Chicago Style (17th ed.) CitationShaul, Liran. Formalization in Lean of Faithfully Flat Descent of Projectivity. 2026.
MLA (9th ed.) CitationShaul, Liran. Formalization in Lean of Faithfully Flat Descent of Projectivity. 2026.
Warning: These citations may not always be 100% accurate.