‣ PointsAtInfinityOfFiberwiseProjectiveClosure( arg ) | ( attribute ) | 
‣ FunctorClosedProjectionBetweenZariskiCoframes( arg ) | ( attribute ) | 
‣ ImageOfProjection( arg ) | ( attribute ) | 
‣ ProjectionOfPointsAtInfinityOfFiberwiseProjectiveClosure( arg ) | ( attribute ) | 
generated by GAPDoc2HTML