OAI/Analysis/FreeWords/ScalarAmalgamatedDefinitions.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KKAmalgamatedTransport.pairProd line 14
2. def OAI.KKAmalgamatedTransport.Centered line 16
3. def OAI.KKAmalgamatedTransport.RelativeCentered line 19
4. def OAI.KKAmalgamatedTransport.AlternatingMoments line 22
5. def OAI.KKAmalgamatedTransport.ScalarAmalgamatedCyclicTransport line 26