Def PropEncodable.PropForm.finv

Modification history

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