return to top
source
The declaration ScottishBook155.claim14 is proved in the imported production module.
ScottishBook155.claim14