OAI/Analysis/FreeWords/TraceTransferDefinitions.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.KKTraceTransfer.WeakAlgebra line 59
2. abbrev OAI.KKTraceTransfer.ConcreteAlgebra line 62
3. def OAI.KKTraceTransfer.weakToAlgebra line 64
4. structure OAI.KKTraceTransfer.FaithfulNormalTrace line 67
5. def OAI.KKTraceTransfer.traceNorm line 76