Theorem AlternatingMap.domDomCongrₗ_refl

Modification history

2023-11-29 19:54
Mathlib/LinearAlgebra/Alternating/Basic.lean
chore: introduce notation for `AlternatingMap` (#8697) …
Added AlternatingMap.domDomCongrₗ_reflView on Github →