Intersect. theory: Further clean up

[wdecker]

No description provided.

[wdecker]

@benlorenz Can you please check what is happening here:

Run tests / test (1.6, short, ubuntu-latest) (pull_request)

[benlorenz]

@benlorenz Can you please check what is happening here:

Run tests / test (1.6, short, ubuntu-latest) (pull_request)

This seems to happen on master as well, my guess is that github changed the gcc version to something that is newer than the bundled libstdc++ for julia 1.6. See #4189

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.59%. Comparing base (7769ffa) to head (0aaeed0).
Report is 2 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #4188   +/-   ##
=======================================
  Coverage   84.58%   84.59%           
=======================================
  Files         631      631           
  Lines       84829    84831    +2     
=======================================
+ Hits        71754    71759    +5     
+ Misses      13075    13072    -3     

Files with missing lines	Coverage Δ
...xperimental/ExteriorAlgebra/src/ExteriorAlgebra.jl	100.00% <ø> (ø)
experimental/IntersectionTheory/src/Main.jl	92.90% <ø> (ø)
experimental/IntersectionTheory/src/blowup.jl	99.24% <100.00%> (+0.77%)	⬆️

... and 1 file with indirect coverage changes