Replace biconditional logical connective 'iff' with 'if'.#149
Open
TheVice wants to merge 1 commit intogoogle:mainfrom
Open
Replace biconditional logical connective 'iff' with 'if'.#149TheVice wants to merge 1 commit intogoogle:mainfrom
TheVice wants to merge 1 commit intogoogle:mainfrom