mathlib3
chore(measure_theory/bochner_integration): make proofs shorter
#1871
Merged
Overview
Commits
5
Changes
View On GitHub
Commits
  • More consistent use of the dot notation
    Joe committed 6 years ago
  • Revert "More consistent use of the dot notation"
    Joe committed 6 years ago
  • Revert "Revert "More consistent use of the dot notation""
    Joe committed 6 years ago
  • fix things
    Joe committed 6 years ago
  • Merge branch 'master' into remove_pos_part
    mergify[bot] committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading