Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Change of variables proof
Changeset 67998:73a5a33486ee by paulson _lp15@cam.ac.uk_:
Change of variables proof
The file was addedsrc/HOL/Analysis/Change_Of_Vars.thy
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Measure.thy (diff)
The file was modified src/HOL/Analysis/Vitali_Covering_Theorem.thy (diff)