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

[mohamed-barakat]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 76.34%. Comparing base (3cef36c) to head (ed7c5e3).
Report is 2 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #582   +/-   ##
=======================================
  Coverage   76.34%   76.34%           
=======================================
  Files         400      400           
  Lines       59562    59562           
=======================================
  Hits        45471    45471           
  Misses      14091    14091           

Flag	Coverage Δ
Algebroids	76.03% <ø> (ø)
CatReps	83.54% <ø> (ø)
CategoriesWithAmbientObjects	89.28% <ø> (ø)
ExteriorPowersCategories	43.70% <ø> (ø)
FiniteCocompletions	92.44% <ø> (ø)
FpCategories	88.12% <ø> (ø)
FunctorCategories	65.31% <ø> (ø)
GradedCategories	86.57% <ø> (ø)
InternalModules	81.68% <ø> (ø)
IntrinsicCategories	82.47% <ø> (ø)
IntrinsicGradedModules	50.83% <ø> (ø)
IntrinsicModules	82.15% <ø> (ø)
LazyCategories	68.39% <100.00%> (ø)
Locales	86.44% <ø> (ø)
PreSheaves	89.90% <ø> (ø)
QuotientCategories	92.08% <ø> (ø)
SubcategoriesForCAP	81.22% <ø> (ø)
ToolsForCategoricalTowers	84.46% <100.00%> (ø)
Toposes	90.91% <ø> (ø)
ZariskiFrames	74.30% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.