Alexander, I'm looking at the section comment of "21.25.10.3 The Cayley-Hamilton theorem". What is the metamath label corresponding to Equation (2) ? I see that ~cramer has no theorem referencing it. I thought the natural proof of (2) would use Cramer's rule ? Thanks, Benoît
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/06baabbb-ffe7-44fc-b7c9-c118eb68c7aa%40googlegroups.com.
