mathlib

69f0ecea - trying to prove descent theorem