proof by exhaustion (Q6481097)

From MaRDI portal
proof by examining all individual cases
Language Label Description Also known as
English
proof by exhaustion
proof by examining all individual cases

    Statements

    Identifiers

    0 references