Commit 2025-01-20 03:19 14f0a138
View on Github →doc(MeasurableSpace/CountablyGenerated): fix declaration names in module doc (#20863) Two docstrings had the wrong theorem name.
doc(MeasurableSpace/CountablyGenerated): fix declaration names in module doc (#20863) Two docstrings had the wrong theorem name.