//! Execution for `by …` statements (one file per form).
mod antisymmetric_prop_by_stmt;
mod by_fn_and_by_fn_set;
mod cases_by_stmt;
mod closed_range_by_stmt;
mod contra_by_stmt;
mod enumerate_by_stmt;
mod extension_by_stmt;
mod family_by_stmt;
mod for_by_stmt;
mod helpers_by_stmt;
mod induc_by_stmt;
mod kuratowski_by_stmt;
mod reflexive_prop_by_stmt;
mod symmetric_prop_by_stmt;
mod transitive_prop_by_stmt;
mod tuple_by_stmt;