Description: Alternate proof of cayleyhamilton , the Cayley-Hamilton theorem. This proof does not use cayleyhamilton0 directly, but has the same structure as the proof of cayleyhamilton0 . In contrast to the proof of cayleyhamilton0 , only the definitions required to formulate the theorem itself are used, causing the definitions used in the lemmas being expanded, which makes the proof longer and more difficult to read. (Contributed by AV, 25-Nov-2019) (New usage is discouraged.) (Proof modification is discouraged.)
Ref | Expression | ||
---|---|---|---|
Hypotheses | cayleyhamilton.a | |
|
cayleyhamilton.b | |
||
cayleyhamilton.0 | |
||
cayleyhamilton.c | |
||
cayleyhamilton.k | |
||
cayleyhamilton.m | |
||
cayleyhamilton.e | |
||
Assertion | cayleyhamiltonALT | |