helper lemmas for contra (PR #1119)#1136

affeldt-aist merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

Tragicus:boolp_contraTragicus/analysis:boolp_contraCopy head branch name to clipboard