permRecs_recRep (KFR: `permRecs` realises the row operator `Pm i j`, and the statement `Lem13ILP`)

Initializing...

permRecs_recRep (KFR: `permRecs` realises the row operator `Pm i j`, and the statement `Lem13ILP`) · Prove2Me