June 19, 2025

proposition in discrete mathematics