WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Adjoint representation

Revision #2480 → #3132 · back to history

addedBracket on End as commutator5d0cc4d5fe81
modifiedCo-adjoint representation57229d9cb227
FieldFrom #2480To #3132
noteSearches for `coadjoint`/`co_adjoint`/`contragredient` in Mathlib return no results.Loogle for `coadjoint` and `contragredient` in Mathlib returns no results.