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$