Theorem Action.zero_hom

Modification history