Def isBinaryProductOfIsTerminalIsPullback

Modification history