Opened 2 years ago
|Reported by:||tilk||Owned by:|
So that there is no need to apply "take any" repeatedly on many consequent universal quantifiers, etc.
Change History (0)
Note: See TracTickets for help on using tickets.