OAI/NumberTheory/PiExponent/Cohomology/MixedEulerRestriction.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PiExponent.NumericalAmpleness.tensor_euler_difference_regular_section line 13
2. theorem OAI.PiExponent.NumericalAmpleness.mixedDifference_cartier_restriction line 44
3. theorem OAI.PiExponent.NumericalAmpleness.mixedTop_cartier_restriction line 66
4. theorem OAI.PiExponent.NumericalAmpleness.mixedTop_power_cartier_restriction line 89