Skip to content

replace b in ListImpliedFilters( a ) -> IsSpecializationOfFilter( b, a ) #2282

replace b in ListImpliedFilters( a ) -> IsSpecializationOfFilter( b, a )

replace b in ListImpliedFilters( a ) -> IsSpecializationOfFilter( b, a ) #2282

Annotations

1 warning

test (ghcr.io/homalg-project/gap-docker:latest)

succeeded Sep 18, 2024 in 1h 17m 22s