RRF.Core.Vantage
IndisputableMonolith.RRF.Core.Vantage
No prose has been written for this declaration yet. The Lean source and graph data below render without it.
generate prose now
From the project-wide theorem graph. These declarations reference this one in their body.
IndisputableMonolith.RRF.Core
IndisputableMonolith.RRF.Core.Glossary
IndisputableMonolith.RRF.Foundation.VantageCategory
Vantage
card_vantage
complements
succ
pred
succ_pred_id
pred_succ_id
succ_succ_succ
VantageTriple
get
unified
isUnified
unified_is_unified