Theorem AddAction.IsBlock.translate

Modification history