pro rata share

(6) the term “pro rata share” in the case of any former spouse of any participant or former participant means the percentage which is equal to the percentage that (A) the number of years during which the former spouse was married to the participant during the service of the participant which is creditable under this subchapter is of (B) the total number of years of such service, disregarding extra credit under section 4057 of this title ;


22 USC § 4071a(6)

Scoping language

As used in this part
Is this correct? or