hasTheoremNamedAfter

P29208 predicate

Indicates that a theorem is named in honor of or after a particular person or entity.

Aliases (2)
  • hasNotableConceptNamedAfter ×3
  • theoremNamedAfter ×1


Please wait…