Theorem Coheyting.boundary_idem

Modification history