Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Prime Ideals
cprmidl
Next ⟩
df-prmidl
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cprmidl
Description:
Extend class notation with the class of prime ideals.
Ref
Expression
Assertion
cprmidl
Could not format assertion : No typesetting found for class PrmIdeal with typecode class