Intersection theory: next round

[wdecker]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.40%. Comparing base (d6230ef) to head (92f5522).
Report is 4 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #4395      +/-   ##
==========================================
+ Coverage   84.38%   84.40%   +0.01%     
==========================================
  Files         656      656              
  Lines       87198    87216      +18     
==========================================
+ Hits        73583    73612      +29     
+ Misses      13615    13604      -11     

Files with missing lines	Coverage Δ
...ental/IntersectionTheory/src/IntersectionTheory.jl	100.00% <ø> (ø)
experimental/IntersectionTheory/src/Main.jl	93.27% <100.00%> (ø)

... and 6 files with indirect coverage changes