Commit 2024-05-05 21:52 7d9e6779
View on Github →doc(Tactic.Measurability): fixed copy paste error from continuity tactic docs (#12683) Changed "continuity statements" to "measurability statements"
doc(Tactic.Measurability): fixed copy paste error from continuity tactic docs (#12683) Changed "continuity statements" to "measurability statements"