Theorem intervalIntegrable_congr_codiscreteWithin

Modification history