Intersection points of a line and a circle (3) (#3168)

Main set.mm:
* ~eel0001 (renamed ~mpsyl4anc), ~fprb and ~el2v moved from mathboxes

AV's mathbox:
* definition for set of proper (unordered) pairs and rearrangement of sections about unordered pairs
* general auxiliary theorems ~addsubeq0, ~resum2sqrp
* auxiliary theorems for real Euclidean space of dimension 2: ~prelrrx2b, ~ehl2eudis0lt, ~itsclc0lem*
* theorems for  intersection points of a line and a circle: ~itsclc0lem5r, ~itsclc0blem5, ~itsclc0b, ~itsclinecirc0b, ~itsclinecirc0in, ~innhlinecirc02plem, ~innhlinecirc02p

Author: avekens

changes-set.txt

@@ -27,6 +27,9 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+ 9-May-23 eel0001   mpsyl4anc   moved from AS's mathbox to main set.mm
+ 9-May-23 fprb      [same]      moved from SF's mathbox to main set.mm
+ 9-May-23 el2v      [same]      moved from PM's mathbox to main set.mm
 30-Apr-23 qseq12    [same]      moved from PM's mathbox to main set.mm
 27-Apr-23 dedt      [same]      commuted consequent
 27-Apr-23 elimh     [same]      commuted consequent