Analysis.Convex.Cone.Basic

Stream: mathlib4

[Moritz Doll]

This one is marked as waiting for PRs from @Apurva Nakade but is this still accurate given the split by @Heather Macbeth ?

[Apurva Nakade]

I'm unaware of the split but I currently do not have any PRs for this file.
I have a PR that was just for tracking changes to this file and Analysis.Convex.Cone.Proper but all the changes to this file are complete.

I can close the tracking PR to release this wait.

[Moritz Doll]

Just edit the porting wiki so that the files your have changes on do not get ported right away (they should have less dependent files as well?)

[Apurva Nakade]

Will do