Theorem Equiv.some_removeNone_iff

Modification history