Showing changes from revision #4 to #5:
Added | Removed | Changed
Given an ordered type and terms and a closed interval is a dependent type defined as
Last revised on June 14, 2022 at 20:14:54. See the history of this page for a list of all contributions to it.