Intersection theory: extend documentation on Bott formula

[wdecker]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 41.66667% with 7 lines in your changes missing coverage. Please review.

Project coverage is 84.35%. Comparing base (bfc5030) to head (b320aa6).
Report is 2 commits behind head on master.

Files with missing lines	Patch %	Lines
experimental/IntersectionTheory/src/Bott.jl	41.66%	7 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #4769   +/-   ##
=======================================
  Coverage   84.34%   84.35%           
=======================================
  Files         675      675           
  Lines       91060    91067    +7     
=======================================
+ Hits        76803    76817   +14     
+ Misses      14257    14250    -7     

Files with missing lines	Coverage Δ
...ental/IntersectionTheory/src/IntersectionTheory.jl	100.00% <ø> (ø)
experimental/IntersectionTheory/src/Bott.jl	80.59% <41.66%> (+6.58%)	⬆️

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.