OAI/Analysis/Laughlin/FourBody/UniformTransfer.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Laughlin.Fock.source_fourBody_uniform_transfer line 13
2. def OAI.Laughlin.Fock.uniformFourBodyRho line 61
3. theorem OAI.Laughlin.Fock.uniformFourBodyRho_nonneg line 63
4. theorem OAI.Laughlin.Fock.uniformFourBodyRho_tendsto line 66
5. theorem OAI.Laughlin.Fock.source_fourBody_uniform_transfer_all line 71