Proofgold Proposition

wceq cceil (cmpt (λ x0 . cr) (λ x0 . cneg (cfv (cneg (cv x0)) cfl)))

type
prop

theory
SetMM

name
df_ceil

proof
PUM7X..

Megalodon
-

proofgold address
TMX8h..

creator
36396 PrCmT../c30d6..

owner
36396 PrCmT../c30d6..

term root
4735f..