Cancellation

kFilteredMorphisms

whoHasPsi

kWhoHasPsi

psiKillers

kPsiKillers

cancelKey

kSimplify

kSimplifyComplex

kDoesPsiVanish