Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Stefan O'Rear
Algebraic integers I
citgo
Next ⟩
cza
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
citgo
Description:
Extend class notation with the integral-over predicate.
Ref
Expression
Assertion
citgo
class
IntgOver