Theorem Partrec.option_some_iff

Modification history