Theorem false_or_iff

Modification history