Search results

push_neg -> push Not

Status: Open.

#404 In avigad/mathematics_in_lean_source;

· avigad opened on Jun 11, 2026

Fibonacci example

Status: Open.

#401 In avigad/mathematics_in_lean_source;

· PatrickMassot opened on May 14, 2026

13.1 Convolution notation

Status: Open.

#384 In avigad/mathematics_in_lean_source;

· AxelBoldt opened on Dec 3, 2025

11.2.3 Give definition of compactness in metric spaces

Status: Open.

#379 In avigad/mathematics_in_lean_source;

· AxelBoldt opened on Dec 2, 2025

11.2.1 (and earlier, and later): How to use a structure other than the standard one on a given type

Status: Open.

#376 In avigad/mathematics_in_lean_source;

· AxelBoldt opened on Dec 1, 2025

10.4.2 vectors vs. functions

Status: Open.

#372 In avigad/mathematics_in_lean_source;

· AxelBoldt opened on Nov 30, 2025

9.2.3: ![...] notation

Status: Open.

#369 In avigad/mathematics_in_lean_source;

· AxelBoldt opened on Nov 30, 2025

9.2.3 Operators * and •

Status: Open.

#367 In avigad/mathematics_in_lean_source;

· AxelBoldt opened on Nov 30, 2025

9.2.2 Precedence rules of plus and inf

Status: Open.

#365 In avigad/mathematics_in_lean_source;

· AxelBoldt opened on Nov 30, 2025

9.2.2: font issue in PDF

Status: Open.

#364 In avigad/mathematics_in_lean_source;

· AxelBoldt opened on Nov 30, 2025

9.1.3: Example on Lagrange theorem does not explain ▶ and Fact

Status: Open.

#362 In avigad/mathematics_in_lean_source;

· AxelBoldt opened on Nov 28, 2025

7.2: Meaning of Group α and automatic discovery of instances

Status: Open.

#358 In avigad/mathematics_in_lean_source;

· AxelBoldt opened on Nov 27, 2025