User blog comment:Bubby3/Dropping Hydra notation/@comment-80.98.179.160-20171223210113

Where's that in the FGH? And where in EFGH?

I give source for EFGH: EFGH is defined here!!!