Commit bf97f880558f35cdd54f88c737164ff8efa807c3

Behdad Esfahbod 2023-04-28T10:28:17

[VarComposite] Minor notation