AssumeNormal is an option used in various functions, to assume that a ring is normal.
The object AssumeNormal is a symbol.
The source of this document is in TestIdeals/FinjectiveDoc.m2:295:0.