total volume condition in A.4 might be out of order #110
Description
The Kubota-Leopoldt subsection makes like the 1/p log(c^(p-1)) condition is well motivated, but I think since 2018 that’s been deferred to the rho class in the tmf part. Probably rho needs to be partially brought back.