Theorem IsLocalizedModule.iso_apply_mk

Modification history