Theorem linear_equiv.skew_prod_symm_apply
Modification history
2021-02-09 11:14
src/linear_algebra/basic.lean
refactor(linear_algebra/prod): split out prod and coprod defs and lemmas (#6059) …
Modified linear_equiv.skew_prod_symm_applyView on Github →