Def clifford_algebra.involute_equiv

Modification history

2022-03-03 21:31
src/linear_algebra/clifford_algebra/conjugation.lean
feat(linear_algebra/clifford_algebra): lemmas about mapping submodules (#12399)
Added clifford_algebra.involute_equivView on Github →