Theorem LowerSet.coe_infₛ

Modification history