Metamath Proof Explorer


Syntax definition cai

Description: Algebraically independent.

Ref Expression
Assertion cai
class AlgInd