Code

new factory for algebra of sets#1251

Code

Merged

affeldt-aist merged 3 commits intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:measure_20240626affeldt-aist/analysis:measure_20240626Copy head branch name to clipboardJul 31, 2024

+158-3

Commits

Commits on Jul 29, 2024

• new factory for algebra of sets

  Show description for fb3b193
  affeldt-aist

  committed
  fb3b193

• symmetric difference

  Show description for fc5ba13
  

  affeldt-aist

  and

  t6s

  committed
  fc5ba13

• addressing comments

  affeldt-aist

  committed
  9ef13c2