Keyword: f-reductive-group

Definition Indexed Root Datum of an F-Reductive Group admitted

Theorem Relative Root Datum of an F-Reductive Group admitted

Theorem Relative Weyl Group Is Generated by Relative Reflections admitted