Skip to content

Commit

Permalink
chore(MeasureTheory/Integral/SetIntegral): rename type variables (#11131
Browse files Browse the repository at this point in the history 
)

Rename measurable spaces \alpha and \beta to X and Y.
Rename variables a : X and b : Y to x and y, respectively (and associated hypotheses as well).
  • Loading branch information
@grunweg
grunweg committed Mar 5, 2024
1 parent c84996b commit 6b5dcd2
Show file tree
Hide file tree
Showing 2 changed files with 257 additions and 258 deletions.

0 comments on commit 6b5dcd2

Please sign in to comment.