IndisputableMonolith.CrossDomain.TenFoldCombinations

declarations in this module (16)

• def HasTenFold L29
• inductive Finger L31
• inductive DecimalDigit L36
• inductive LumbarSacralVert L40
• inductive DBlockElement L44
• theorem finger_is_10 L48
• theorem digit_is_10 L50
• theorem lumSac_is_10 L52
• theorem dBlock_is_10 L54
• theorem ten_eq_two_D L58
• theorem tenfold_equicardinal L61
• theorem tenfold_squared L68
• theorem tenfold_times_D L76
• theorem ten_as_two_halves L79
• structure TenFoldCombinationsCert L81
• def tenFoldCombinationsCert L91