Theorem Coheyting.boundary_eq_bot

Modification history