Def PropEncodable.PropForm.Constructors

Modification history

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