mathlib3
daed8a41 - style(*): use rcases patterns with ext (#3018)

Commit

5 years ago

style(*): use rcases patterns with ext (#3018) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

References

Author

robertylewis

Parents