Theorem Inducing.dense_iff

Modification history