Closed LouisSzeto closed 2 months ago
new feature in Lean
bug-<issue#>-<description>
feature-<issue#>-<description>
Remove "subscribe to the underlying Equity", since the code doesn't explicitly do that.
Description
Related Issue
Motivation and Context
new feature in Lean
Types of changes
Checklist:
bug-<issue#>-<description>
orfeature-<issue#>-<description>