Skip to content

prove finite order reflexivity - #40

Open
arthurpaulino wants to merge 1 commit into
digama0:masterfrom
argumentcomputer:ap/thierry-finmut-le-rfl
Open

prove finite order reflexivity#40
arthurpaulino wants to merge 1 commit into
digama0:masterfrom
argumentcomputer:ap/thierry-finmut-le-rfl

prove finite order reflexivity

c2b5910
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build and self-check
succeeded Aug 16, 2026 in 4m 37s