wiki:RemovalCandidates

Version 2 (modified by simonmar@…, 10 years ago) (diff)

--

  • n + k patterns
  • ~ patterns
  • the monomorphism restriction