March 12, 2025

proposition in discrete mathematics