Changes between Version 5 and Version 6 of Ticket #31878


Ignore:
Timestamp:
May 30, 2021, 11:56:14 PM (16 months ago)
Author:
Matthias Köppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31878 – Description

    v5 v6  
    88
    99`OpenInterval` and `RealLine` will no longer be classes, only constructors.
     10
     11
     12More general implementation using #31688 (pullbacks of subsets under continuous maps). In this case we would not need to subclass `RealSet`, but rather we would use a pullback.
    1013
    1114