automorphism group of F 7

GPTKB entity