Formula q_891 (Q698): Difference between revisions

Latest revision as of 13:27, 20 April 2020

No description defined

Language	Label	Description	Also known as
English	Formula q_891	No description defined

q_891

0 references

A^{-1}A=\mathbb {I} _{n}\ \ \land \ \ AA^{-1}=\mathbb {I} _{n}\ \ \ \ (1)

0 references

Revision as of 13:26, 20 April 2020 SchuBot (talk \| contribs) SchuBot, Bots, Bureaucrats, flow-bot, Suppressors, Administrators 4,665 edits ‎Created claim: arqmath formula id (P8): q_891 ← Older edit	Latest revision as of 13:27, 20 April 2020 SchuBot (talk \| contribs) SchuBot, Bots, Bureaucrats, flow-bot, Suppressors, Administrators 4,665 edits ‎Created claim: Defining formula (P1): A^{-1}A=\mathbb I_n \ \ \land \ \ AA^{-1}=\mathbb I_n \ \ \ \ (1)
	Property / Defining formula
		$A^{-1}A=\mathbb {I} _{n}\ \ \land \ \ AA^{-1}=\mathbb {I} _{n}\ \ \ \ (1)$ `A^{-1}A=\mathbb I_n \ \ \land \ \ AA^{-1}=\mathbb I_n \ \ \ \ (1)`
	Property / Defining formula: $A^{-1}A=\mathbb {I} _{n}\ \ \land \ \ AA^{-1}=\mathbb {I} _{n}\ \ \ \ (1)$ / rank
		Normal rank