Skip to content

should be Let #1947

Closed
Closed
should be Let#1947
Milestone
1.17.0
@affeldt-aist

Description

@affeldt-aist
affeldt-aist
opened on Apr 24, 2026

analysis/theories/measure_theory/measurable_structure.v

Line 1254 in 051d7a7

Lemma discrete_measurable0 : discrete_measurable set0. Proof. by []. Qed.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions