Theorem fact_iff

Modification history