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

Initializing...

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