Commit 2024-01-09 14:39 b97b7e45

View on Github →

chore: rename meagre to isMeagre in two lemma names (#9591) The corresponding Prop is called IsMeagre.

Estimated changes

added theorem isMeagre_iUnion
deleted theorem meagre_iUnion