Theorem Hollom.embed_strictMono

Modification history