Def PropEncodable.PropForm.f

Modification history

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