eliminau (L22749): Difference between revisions

Revision as of 10:54, 10 July 2021

(L22749)

0 references

0 references

Revision as of 10:54, 10 July 2021 DavidL bot (talk \| contribs) (‎Created claim: instance of (P3): (Q750)) ← Older edit	Revision as of 10:54, 10 July 2021 DavidL bot (talk \| contribs) (‎Created claim: Ahotsak lemma (P9): eliminatu) Newer edit →
	Property / Ahotsak lemma
		eliminatu
	Property / Ahotsak lemma: eliminatu / rank
		Normal rank