introduces a function called multiplicity to replace card[Ω](μ)#110

Merged

hartig merged 7 commits intomainfrom Multiplicity

Oct 20, 2023

+64-40

Commits on Jul 3, 2023

introduces a function called multiplicity as a replacement for the notation 'card[Ω](μ)'; related to #108 (comment)
hartig
committed
revert back the change to BGP matching; this part may be adapted later
hartig
committed

Commits on Sep 28, 2023

uses the ReSpec <var> feature in the definition of the Multiplicity function; addresses #110 (comment)
hartig
committed

Commits on Oct 3, 2023

changes the presentation of the 'multiplicity' function, as discussed in #110 (comment)
hartig
committed

Commits on Oct 5, 2023

uses the new 'multiplicity' function instead of card[..](..), and changes the terminology accordingly
hartig
committed

Commits on Oct 14, 2023

Use of <var> in the section about BGPs

hartig
and
TallTed
authored

Commits on Oct 16, 2023

Use of <var> in the section about BGPs

hartig
and
TallTed
authored