feat(data/complex/is_R_or_C): add typeclass for real or complex (#3934) · leanprover-community/mathlib@ffce8f6 · GitHub

Commit

feat(data/complex/is_R_or_C): add typeclass for real or complex (#3934)

Browse files

Co-authored-by: jalex-stark <alexmaplegm@gmail.com>
Co-authored-by: Frédéric Dupuis <31101893+dupuisf@users.noreply.github.com>

Loading branch information

3 people committed Aug 30, 2020

1 parent a18f142 commit ffce8f6