Formula q_895 (Q702): Difference between revisions

Latest revision as of 13:27, 20 April 2020

No description defined

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

q_895

0 references

A A^{- 1} \neq 𝕀_{n}

0 references

Revision as of 13:27, 20 April 2020 SchuBot (talk \| contribs) SchuBot, Bots, Bureaucrats, flow-bot, Suppressors, Administrators 4,665 edits ‎Created claim: arqmath formula id (P8): q_895 ← 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): AA^{-1} \neq \mathbb I_n
	Property / Defining formula
		$A A^{- 1} \neq 𝕀_{n}$ `AA^{-1} \neq \mathbb I_n`
	Property / Defining formula: $A A^{- 1} \neq 𝕀_{n}$ / rank
		Normal rank