mathlib3
d2d36aa6 - Merge branch 'dupuisf/ext_inner_lemmas' into dupuisf/linear_map_spectral

Commit

4 years ago

Merge branch 'dupuisf/ext_inner_lemmas' into dupuisf/linear_map_spectral

Author

dupuisf

dupuisf

Parents

Loading