OAI/Analysis/FreeWords/AsymptoticBlockTransportDefinitions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KKAsymptoticTransport.NetBound line 17
2. def OAI.KKAsymptoticTransport.netPair line 19
3. def OAI.KKAsymptoticTransport.centerNet line 22
4. def OAI.KKAsymptoticTransport.centeredWord line 24
5. def OAI.KKAsymptoticTransport.RelativeBlockLimits line 27
6. def OAI.KKAsymptoticTransport.AsymptoticBlockTransport line 32