Theorem OrderHom.antisymmetrization_apply_mk

Modification history