Merge pull request #1757 from mohamed-barakat/devel

remove method with underspecified filters

Author: mohamed-barakat

GeneralizedMorphismsForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "GeneralizedMorphismsForCAP",
 Subtitle := "Implementations of generalized morphisms for the CAP project",
-Version := "2025.02-01",
+Version := "2025.06-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

GeneralizedMorphismsForCAP/gap/SerreQuotients.gi

@@ -4,11 +4,6 @@
 # Implementations
 #
 
-InstallMethod( \/,
-               [ IsCapCategory, IsFunction ],
-               
-  SerreQuotientCategory );
-
 InstallMethod( LiftCovariantEndoFunctorToSerreQuotientCategory,
                [ IsCapCategory, IsCapFunctor ],