Def PropEncodable.PropForm.arity

Modification history

2026-08-26 20:09
Archive/Examples/PropEncodable.lean
chore(Archive): convert to the module system (#42242) …
Added PropEncodable.PropForm.arityView on Github →