Definition talk:Integrable Function/Unbounded

From ProofWiki
Jump to navigation Jump to search

This definition is inconsistent with Negative Part, due to the definition of that on $\mathsf{Pr} \infty \mathsf{fWiki}$ differing from the source work. This needs to be corrected. How are definition conflicts between sources usually resolved on $\mathsf{Pr} \infty \mathsf{fWiki}$? --CircuitCraft (talk) 01:41, 26 February 2023 (UTC)

Broman actually uses the "also defined as" implementation of the definition, so to be strictly technically correct it does not actually differ from the source work. --prime mover (talk) 08:41, 26 February 2023 (UTC)
But anyway, what I have put in place is what we do on $\mathsf{Pr} \infty \mathsf{fWiki}$. --prime mover (talk) 09:22, 26 February 2023 (UTC)