🔧 Concepts

Here is a list of all concepts with brief descriptions:

Nmim
Rannex_without_subs
RDefPred	Used by Def::proj & friends
REnum
RMutPred
RProjector