Theorem wbtw_self_iff

Modification history