Theorem Option.bnot_comp_isNone

Modification history