Def complex.I

Modification history

2018-01-20 17:03

data/complex.lean

refactor(data/complex): clean up proofs

Modified complex.I View on Github →

2018-01-07 14:32

analysis/complex.lean

feat(analysis/complex): complex numbers as a field

Added complex.I View on Github →