Commit 2024-12-27 12:17 2a7dd2df

View on Github →

feat(MetricSpace): add Metric.biInter_gt_ball etc (#20262)

Estimated changes

added theorem forall_gt_ge_iff
added theorem forall_lt_le_iff
added theorem Metric.biInter_gt_ball
added theorem Metric.biUnion_lt_ball