Theorem AlternatingMap.bound_of_shell

Modification history