Theorem IsLocalization.coeSubmodule_bot

Modification history