Def isPullbackOfIsTerminalIsProduct

Modification history