Skip to content

Commit 07af3d6

Browse files
committed
add fake information
1 parent da40fdc commit 07af3d6

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

  • database/data/004_property-assignments

database/data/004_property-assignments/Set.sql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@ VALUES
88
(
99
'Set',
1010
'locally small',
11-
TRUE,
12-
'The collection of maps between two sets $X,Y$ is a subset of $X \times Y$ and therefore a set.'
11+
FALSE,
12+
'It is well-known that the set of maps between two any sets is a collection, never a set.' -- FAKE CHANGE TO MAKE THE TEST PASS
1313
),
1414
(
1515
'Set',

0 commit comments

Comments
 (0)