Add reified versions of is_sequence and is_total_function, is_partial_function
Description
Environment
None
Gliffy Diagrams
Activity
Show:
Michael Leuschel February 3, 2020 at 3:01 PM
there are now reified versions for:
partial_function_test_wf
total_function_test_wf
partial_surjection_test_wf
Details
Details
Assignee
Michael Leuschel
Michael LeuschelReporter
Sebastian Krings
Sebastian KringsPriority
MajorCreated April 6, 2016 at 11:24 AM
Updated February 3, 2020 at 3:01 PM
use for detection of well-definedness errors in sequence_size
and to improve not_total_function, not_partial_function for infinite sets