mathlib
ca370cb9 - fix(deprecated/group): remove dangerous instances (#2096)

Commit

6 years ago

fix(deprecated/group): remove dangerous instances (#2096) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Author

gebner

Parents